#include <stdio.h>

void print_i32(int n)
{
  printf("%d\n",n);
}

void print_double(double f)
{
  printf("%f\n",f);
}

void print_i8(char c)
{
  printf("%c\n",c);
}

void print_pi8(char * s)
{
  printf("%s\n",s);
}
